Philip Wadler - PDFSEARCH.IO - Document Search Engine

Philip Wadler
Results: 73

#	Item
31	Threesomes, with and without blame (POPLJeremy Siek University of Colorado at Boulder Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-07-31 06:57:40
32	Well-typed programs can’t be blamed (ESOPRobert Bruce Findler Northwestern University Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2012-07-31 06:57:28
33	Threesomes, With and Without Blame ∗ Jeremy G. Siek Philip Wadler University of Colorado at Boulder Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-09-16 04:59:34
34	Blame for All Amal Ahmed, Indiana University Robert Bruce Findler, Northwestern University Jacob Matthews, Google Philip Wadler, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-17 09:00:13
35	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory
36	Call-by-name is dual to call-by-value Philip Wadler University of Edinburgh Part 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2004-04-13 06:37:17
37	A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-16 06:24:47 Mathematics Deduction Natural deduction Curry–Howard correspondence Monotonicity of entailment Deduction theorem Linear logic Orbifold Sequent calculus Logic Proof theory Mathematical logic
38	Under consideration for publication in J. Functional Programming 1 The Arrow Calculus Sam Lindley, Philip Wadler, and Jeremy Yallop Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2009-10-19 06:42:21 Lambda calculus Computability theory Fixed-point combinator Arrow Quiver Natural deduction Combinatory logic Theoretical computer science Mathematics Applied mathematics
39	A prettier printer Philip Wadler Joyce Kilmer and most computer scientists agree: there is no poem as lovely as a tree. In our love affair with the tree it is parsed, pattern matched, pruned — and printed. A pretty pri Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:39 ALGOL 68 Associative property Microsoft Word Software Computing Programming language theory
40	Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:44 Mathematics Subtype polymorphism Type system Lambda calculus Typed lambda calculus Type safety Valuation Entailment Holomorphic functional calculus Type theory Theoretical computer science Logic